#ifndef __UART_H__
#define __UART_H__

#include <bsp.h>

//Define
#define UART0_ISA_OFF   0x3f8
#define UART0_BASE KSEG1ADDR(ISA_MMIO_BASE + UART0_ISA_OFF)

// API
void init_serial(void);
void print_uart0(const char *s);
void putc(char a);

#endif
